perm filename FIRST.QUE[W78,JMC] blob sn#328929 filedate 1978-01-17 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	1. Is there any question about the language for the recursive definitions?
C00003 ENDMK
CāŠ—;
1. Is there any question about the language for the recursive definitions?

Tentative decision: use bold face "and" etc.

2. Do we need to force call-by-value?  Since LISP does, why not?

3. We will use abstract domains rather than LISP.

4. Do we need the conditional expression function only?

5. Is inductive assertions a consequence of the minimization schema?